package tda;

public interface ConjuntoIntTDA {
	
	void inicializarConjunto();
	//inicializado
	void agregar(int valor);
	//inicializado y no vacio
	int elegir();
	//inicializado y no vacio
	void sacar(int valor);
	//inicializado y no vacio
	boolean pertenece(int valor);
	//inicializado
	boolean conjuntoVacio();
}

